Integrated Information in Process-Algebraic Compositions
نویسندگان
چکیده
منابع مشابه
Providing Integrated Life Cycle Support in Process-Aware Information Systems
The need for more flexiblity of process-aware information systems (PAISs) has been discussed for several years and different approaches for adaptive process management have emerged. However, only few of them provide support for both changes of individual process instances and the propagation of process type changes to a collection of related process instances. Furthermore, knowledge about proce...
متن کاملReversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We formulate a procedure for converting operators of standard algebraic process calculi such as CCS, ACP and CSP into reversible operators, while preserving their operational semantics.
متن کاملInformation Modeling of Conceptual Design Integrated with Process Planning
Information modeling is critical to the integration of conceptual design and process planning. An information model for conceptual design is provided in this paper. Conceptual design is a key activity in early product development. It determines product functions, form, and the basic structure. Major manufacturing cost is committed in early conceptual design process. The model presented in this ...
متن کاملAlgebraic distance in algebraic cone metric spaces and its properties
In this paper, we prove some properties of algebraic cone metric spaces and introduce the notion of algebraic distance in an algebraic cone metric space. As an application, we obtain some famous fixed point results in the framework of this algebraic distance.
متن کاملManaged Pressure Drilling Using Integrated Process Control
Control of wellbore pressure during drilling operations has always been important in the oil industry as this can prevent the possibility of well blowout. The present research employs a combination of automatic process control and statistical process control for the first time for the identification, monitoring, and control of both random and special causes in drilling operations. To this end, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Entropy
سال: 2019
ISSN: 1099-4300
DOI: 10.3390/e21080805